Pixton's formula for the double ramification cycle