what is a mandamus lawsuit