My wife and I are retired teachers from Texas, now living in Oklahoma. What is the "civil service retirement in lieu of social security'? And do we qualify?