Inertial proximal point algorithm for variational inclusion in Hadamard manifolds