Macroscopic fluctuation theory for stationary non-equilibrium states