The writ of Mandamus is issued by a superior court to a public authority to compel it to perform a public duty that it is legally bound to do but has failed to do what?