Hi, We have mult instance of mailizz in php layer, and our database is in the seprate service. For handle mutex can we use mysql instead of files or redis?