Show HN: Data Formulator – interactive AI agents for data analysis (Microsoft)