Write a C function array_max(int a[], int len) that takes an integer array and its length as its parameters and returns the largest value in the array.