Double field theory of type II strings