Synchronization of underdamped Josephson-junction arrays