Compensated compactness and the Heisenberg group