With mining’s extinction, Ostrava faces identity crisis