Edinburgh receives four electric double-decker buses