Bombardeo de Barcelona en 1842