Briefly explain the procedure of gel electrophoresis and how proteins can be separated and studied using this procedure.