BT in the UK uses PPPoA - so ATM has its own overheads. Its very hard to say exactly what you should be receiving, but without doing lots of calculations, then 7.2Mbps is a rough guide of what you should be seeing.
There will be several overheads, TCP/IP, PPPoE etc, so most people just use either 11.5% or anything up to 15% to get a rough idea. Theres also things like MTU which can affect throughput. I doubt if anyone will be able to give you an exact figure. :/