Evidence for mantle heterogeneity from platinum-group-element abundances in Indian Ocean basalts