BNDES dobra crédito para indústria em 2023 e atinge maior nível desde 2014