Modeling the evolution and propagation of the 2017 September 9th and 10th CMEs and SEPs arriving at Mars constrained by remote-sensing and in-situ measurement