Sources: Phillies, Nola agree to 4-year extension