Snell's Law Derivation