Text this: Coderivatives at Infinity of Set-Valued Mappings with Applications to Optimization.