Minimum cycle bases of direct products of graphs with cycles