Is HCI Group, Inc.'s (NYSE:HCI) CEO Paid Enough Relative To Peers?