Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification