ドコモ、Xperia XZ1 Compactを11月17日発売へ。待望されていたちょうどいい大きさの端末