how to file a mandamus petition