Sri Lanka reinstates ousted prime minister: official