The single server retrial queue with finite population: a BSDE approach