Stygofauna Mundi: A Faunistic, Distributional, and Ecological Synthesis of the World Fauna Inhabiting Subterranean Waters (Including Marine Intersti)