State order formally declares prostitution a “nonessential business”