Process Discovery from CASAS Smart Environment Data