An SPH-based fully-Lagrangian meshfree implicit FSI solver with high-order discretization terms