Real Estate Automated Valuation Model with Explainable Artificial Intelligence Based on Shapley Values