Aggregate interlock: A theoretical and experimental analysis