Standard completeness for extensions of MTL: An automated approach