Automated Construction of Petri Net Performance Models from High-Precision Location Tracking Data