Efficient Circuits for Permuting and Mapping Packed Values Across Leveled Homomorphic Ciphertexts