Safety-Critical Controller Synthesis with Reduced-Order Models