Indonesia fourth-quarter GDP shrinks slightly more than expected