Thylakoids membranes have special proteins in bedded into the membrane which catalyze the production of ATP from what type of ions