An Android plugin-based platform for board games