Fla. judge overturns individual mandate provision in healthcare-reform law