Solvability of second-order left-invariant differential operators on the Heisenberg group