Distributed fixed-time orientation synchronization with application to formation control.