how was the istrian stone mined