Searching for optical companions to four binary millisecond pulsars with the Gran Telescopio Canarias