Ampicillin permeation across OmpF, the major outer-membrane channel in Escherichia coli