What is involved in filing a petition for writ of habeas corpus?