History of rice production in Sri Lanka