Sony Ericsson intros Xperia X10 mini and Xperia X10 mini pro