Sharp dimension bounds for Furstenberg-type sets