Reaction at a platinum-gallium arsenide interface