Math Says Urinals in Planes Could Make Lavatory Lines Shorter for Everyone