Stochastické metody v modelech sociálního pojištění