ASRock launches 4X4 BOX-8040 series mini PC