Loomis–Whitney inequalities in Heisenberg groups