Spain's Sanchez oversees removal of Gibraltar border checkpoint