Sanchez loses no-hitter in 9th in Marlins' 4-1 win