I built a $5,000 Raspberry Pi server (Radxa Taco NAS)