UK 4G auction raises $3.61 billion, misses govt target