Porto: Bolhão market renovation blends heritage, modern use and community life