TEDS: A High Speed Digital Mobile Communication Air Interface for Professional Users