Planets discovered in another galaxy