Government to divest 15% stake in HAL for Rs 5,020 crore