Mal'tsev constraints are tractable