Dimension distortion by right coset projections in the Heisenberg group