how long does it take to get your discharge papers?