Constructing Building Price Index Using Administrative Data (Journal of Official Statistics, 2023)