Discrete Lagrange-d’Alembert-Poincaré equations for Euler’s disk