How/where do I record severance pay earned from my former employer's bankruptcy proceedings?