Spanish judge overturns smoking ban meant to curb coronavirus