A Loop Transformation Algorithm Based on Explicit Data Layout Representation for Optimizing Locality