How Much Did Crane Co.'s (NYSE:CR) CEO Pocket Last Year?