Efficient Index Generation for Compiling Two-Level Mappings in Data-Parallel Programs