Introduction to digital professional mobile radio