Non-linear bond-operator theory and 1=d expansion for coupled-dimer magnets II: Antiferromagnetic phase and quantum phase transition