Яндекс, Google, Mail.ru и National Geographic готовятся внести изменения в карту России, добавив к ней Крым