Below One Earth: The Detection, Formation, and Properties of Subterrestrial Worlds