Royal Dutch Shell plc changes its name to Shell plc