Estimating the number of covering relations in a formal concept lattice