Green-Schwarz anomaly cancellation