A Maximum Likelihood Approach to GNSS Synchronization Using Antenna Arrays