Federal government is using data from push notifications to track contacts (Washington Post)