On the Convergence of FedProx with Extrapolation and Inexact Prox