Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods