Greek president appoints Ioannis Sharmas as interim prime minister