Massive type II in double field theory