GOP leaders will fork over at least $12 billion for border wall