Privacy Policies with Modal Logic: The Dynamic Turn