On Weyl’s inequality, Hua’s lemma, and exponential sums over binary forms