Why is the OFDM Symbol Prefix Shorter in 5G Mobile and 802.11ac WiFi?