According to Christian tradition, James the Greater was martyred in 44 AD, and his remains were found in 825 AD. How did people in the 9th century verify remains?