Al Shabaab kills quarry workers in Kenya gun attack