Planet formation theory, observations, and experiments (Cambridge Univ. Press, 2006)