EigenLayer: AVS's, staking, and $EIGEN