Vertical projections in the Heisenberg group for sets of dimension greater than 3