Ranasinghe premadasa biography definition