Spain’s three largest banks said Tuesday that they would set aside EUR7.5 billion in additional provisions for property risk this year and another EUR3.9 billion in an extra buffer to comply with a new government plan to clean up the country’s financial sector.