Strengthening Atomic Multicast for Partitioned State Machine Replication