Why is the supply frequency 60 Hz (or 50Hz in the UK) and not a lower or higher frequency. Are there any applications where a higher generating frequency is used