Mini Cluster — a Raspberry Pi-based cluster