A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets