Seoul seeks record $614.5B budget with focus on AI