What is the mathematical statement of the Heisenberg uncertainty principle for position and momentum?