Artificial Intelligence for Digital Agriculture at Scale: Techniques, Policies, and Challenges