High Level BSP Programming: BSML and BSlambda