Josephson junctions and SQUIDs