Olmert’s tenure as interim prime minister is formalized