Reachability-Guaranteed Optimal Control for the Interception of Dynamic Targets under Uncertainty