Discrete approximation of relaxed optimal control problems