Double field theory at order α′