Basic statistics on higher education in Sri Lanka