On the LoRa Modulation for IoT: Waveform Properties and Spectral Analysis