On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths