The sum of the squares of the first n Fibonacci numbers