What are the petitioners seeking? What has the court ruled on polygamy before?