High vacua;: Principles, production, and measurement