Deciding algebraic properties of finitely presented monoids