Santana pitches first no-hitter in Mets' history