Jose Miranda's home run through bat tracking data