Samsung's Galaxy S4 Mini on its way to the US in November