Xiaomi's 4K-capable Mi Box is the most affordable Android TV device yet ...