The firing squad synchronization problem