Energetic savings and the body size distributions of gliding mammals