A high depth resolution backside secondary ion mass spectrometry technique used for studying metal/GaAs contacts