cedar city history