Exoplanets: detection, formation, properties, habitability, John W. Mason