median of two sorted array, extension from CLRS