Dmitry Medvedev declares official holiday in Russia: Programmer's Day