Why is it faster to add two big arrays with a + b than to add their numbers in a Python loop?