Samsung's HBM4 revenue tops $1 billion in 4 months since launch