Effects of past mining on the quality of water resources in Sardinia