Gravar-mail: Physical co-presence intensity: Measuring dynamic face-to-face interaction potential in public space using social media check-in records