Cloud-resolving-model simulations of nocturnal precipitation over the Himalayan slopes and foothills