Bus attack kills 10 oil workers in east Syria: state media