A modeling framework to examine photovoltaic rooftop peak shaving with varying roof availability: A case of office building in Hong Kong. (December 2021)