Application of proton-microprobe data to trace-element partitioning in volcanic rocks