path of minimum time; Snell law