Zariski structures: geometry and logic