Which 1099-R option do I choose for military retirement?