What are requirements for petitions for the formation of library districts?