Occlusion-Aware MPC for Guaranteed Safe Robot Navigation with Unseen Dynamic Obstacles