Optimal retirement and disability benefits with audit