Ireland: Michael Martin is the new premier