Demystifying Privacy Policies with Language Technologies: Progress and Challenges