ViewSonic formally launches Oak Trail, dual-OS tablet