Sources: Mets, ace deGrom agree to extension