Optimization Models for the First Arrival Target Distribution Function in Discrete Time