Text this: ICT coverage in rural and urban basic education in Colombia-2018