Phonon Hall effect with first-principles calculations