Converging experimental and computational views of the knotting mechanism of a small knotted protein