A synthetic building operation dataset