Simulation-based inference of single-molecule force spectroscopy