Parsing Excel formulas: A grammar and its application on 4 large datasets