Construction of Modular Curves and Computation of Their Cardinality over Fp