What is a “petition for writ of mandamus”?