Patent infringement could lead to eight of Xiaomi devices being discontinued