Sri Lanka picks Marxist-leaning Dissanayake as president